61c10011b5f34d5851722e4fb01486c7ce0ddb2c,src/java/ch/usi/da/paxos/ring/ElasticLearnerRole.java,ElasticLearnerRole,run,#,86
Before Change
while(true){
Decision d2 = learner[newring].getDecisions().take();
if(d2 != null && d2.getValue().isSubscribe()){
if(newring == Integer.parseInt(d2.getValue().asString())){
break;
}
}
After Change
while(true){
Decision d2 = learner[newring].getDecisions().take();
if(d2 != null && d2.getValue().isSubscribe()){
if(d.getValue().asString().equals(d2.getValue().asString())){
break;
}
}